World Community; and Remarks on our Own Behalf

Making Our Own Luck

QuickCheck-style property-based random testing [4] requires efficient generators for well-distributed random data satisfying complex logical predicates. Writing such generators by hand can be difficult and error prone. We propose a domain-specific language, Luck, in which generators are expressed by decorating predicates with lightweight annotations controlling both the distribution of generate...

Remarks on our knowledge of modal facts

self-archiving of our own articles: romeo and juliet notes

ree access to the articles is becoming more popular since it gives thousands of researchers access to millions of publications resulting in higher visibility and receiving much more citations, which often times might be the ultimate goal. for this reason, authors may seek a way to make the papers easily accessible to other researchers via uploading the full text to their personal website and/or...

Ancestor to Call Our Own

Controversial new fossils could bring scientists closer than ever to the origin of humanity POITIERS, FRANCE—Michel Brunet removes the cracked, brown skull from its padlocked, foam-lined metal carrying case and carefully places it on the desk in front of me. It is about the size of a coconut, with a slight snout and a thick brow visoring its stony sockets. To my inexpert eye, the face is at onc...

Reflective Practice: How the World Bank Explored Its Own Biases?

While many international organisations have independent evaluations, including the International Monetary Fund (IMF) and World Health organization (WHO), uniquely the World Bank in its 2015 World Development Report sought to ascertain the potential biases that influence how its staff interpret evidence and influence policy. Here, we describe the World Bank’s study design, including experiments ...